;(bind ?lista (create$ 1 2 3))
;(bind ?lista1 (create$ 4 5))
;(bind ?lista (insert$ ?lista (+ 1 (length$ ?lista)) ?lista1))

;(printout t ?lista crlf)
;(bind ?lista (delete$ ?lista 1 1))
;(printout t ?lista crlf)

;(bind ?facts "")
(bind ?facts (str-cat "(" (readline) ")"))
(printout t "facts: " ?facts crlf)
(assert-string ?facts)
(facts)